Computer Sofware Reliability

Trainable Sofware Agents

Software agents usually take a passive approach to learning, acquiring information about a task from watching passively what the user does. Examples are the only information that the user and the learner exchange. The induction task left to the agent is only possible with pre-defined learning biases. Determining a priori the language needed to represent the necessary criteria for performing a t...

Assessing sofware quality by micro patterns detection

Java Memory Model Aware Sofware Verification

The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of “commit sequences” (roughly, the order in which actions in the execution are committed). In this work, we develop an operational approximation of the JMM. The immediate motiva...

Open-world Sofware: Specification, Verification, and beyond Dissertation Committee

Open-world software represents a new class of software, which exhibits new features that often demand for rethinking and extending the traditional methodologies and the accompanying methods and techniques. Open-world systems are built by composing heterogeneous, third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they intera...

Improving reliability bounds in computer networks

The probability that a computer network is operational in an environment of statistically independent link failures has been widely studied. Three natural problems arise, when all nodes are to be connected (all-terminal reliability), when two nodes are to communicate (2-terminal reliability), and when k specified nodes are to communicate (k-terminal reliability); the latter case includes the fi...